A compactly supported distribution is a distribution whose support of a distribution is a compact subset.
This implies that compactly supported distributions may be evaluated not just on bump functions, but in fact on the larger space of all smooth functions. Indeed it turns out that the compactly supported distributions exhaust the continuous linear functionals on the space of smooth functions (Hörmander 90, theorem 2.3.1).
Therefore and since Schwartz’s notation for the space of all smooth functions on the given smooth manifold is , the space of compactly supported distributions is often denoted by (Hörmander 90, p. 45).
(topological vector space of smooth functions on a Cartesian space)
For , write for the -vector space of smooth functions .
Then the vector space becomes a Fréchet vector space induced by the family of seminorms
indexed by a compact subset and a tuple encoding the degrees of the partial derivative .
Hence the seminorm sends a smooth function to the supremum over the points of the absolute value of the partial derivative ; and the open subsets defined thereby are the unions of translations of the base open balls
for .
We write
for the resulting Fréchet topological vector space.
(compactly supported distributions as continuous linear duals to bump functions)
The space of compactly supported distributions on is the dual space
to the topological vector space of smooth functions from def. .
e.g. (Klainerman 08, p. 9)
This means the following
(characterization of continuity for compactly supported distributions)
is continuous with respect to the topology of def. , hence is a compactly supported distribution (def. )
precisely if the following condition holds
there exists a compact subset and and such that
(see also Hörmander 90, (2.3.2) and theorem 2.3.1)
By this prop. the continuity of is equivalent to there being an inhabited finite set and such that
We need to see that this is equivalent to a bound of the form (1).
In one direction, assume that (2) holds.
The union is still a compact subset (this prop.). Hence (2) implies that
and hence with that
which is of form (1).
Conversely, assume that a bound of the form (1) holds. Then take the finite set of pairs where all and with all . With denoting the number of -tuples with we then get a bound as in (2) with coefficient .
Given that distributions are concerned with smooth functions it is sometimes more natural to regard them not as continuous linear functionals as in def. , but as smooth linear functionals. Indeed this turns out to be equivalent (prop. below), if one considers an ambient context of suitably generalized smooth spaces, namely diffeological spaces or more generally smooth sets or formal smooth sets. We will write for any of these categories of generalized smooth spaces.
We may canonially regard any smooth manifold such as the Cartesian space as an object of . For any object, we write for the mapping space (the internal hom). The underlying set is . If itself has -linear structure, we write
for the subobject of -linear maps.
Concretely, for a smooth manifold (or just a Cartesian space), then the sheaf assigns (see at closed monoidal structure on presheaves for details)
and is the subset of those functions such that for all the function is -linear. The global elements of the mapping space constitute the ordinary hom set
(compactly supported distributions are the smooth linear functionals)
For , there is a natural bijection between the underlying sets of compactly supported distributions on (def. ) and the -linear mapping space formed in the category of either diffeological space or smooth sets or formal smooth sets:
given by sending to the natural transformation which on a test space CartSp takes a smoothly -parameterized function to its evaluation in pointwise in :
(Moerdijk-Reyes 91, chapter II, prop. 3.6)
First consider this for the case that SmoothSet (which immediately subsumes the case that DiffelogicalSpace).
To see that is well defined, we need to check that the function
is smooth. But this follows immediately since by definition is linear and continuous (Hörmander 90, theorem 2.1.3).
To see that is indeed a bijection for each it remains that every -linear smooth functional (morphisms of smooth sets) of the form
when restricted on global elements to a function of sets
is continuous with respect to the topological vector space structure from def. on the left.
Now by definition of the internal hom is actually “path-smooth” (this def.) and hence the statement is implied by this prop.
Finally to see that this argument generalizes to FormalSmoothSet observe that the Weil algebra of every infinitesimally thickened point is a quotient ring of an algebra of smooth functions on some Cartesian space (by the Hadamard lemma). The previous argument now applies to representatives under this quotient coprojection and one checks that it is independent of the representative chosen.
For , let be a compactly supported distribution on Cartesian space . Then its Fourier transform of distributions is the function
where on the right we have the application of , regarded as a linear function , to the exponential function applied to the canonical inner product on .
This same formula makes sense more generally for complex numbers . This is then called the Fourier-Laplace transform of , still denoted by the same symbol:
This is an entire analytic function on .
(Hörmander 90, theorem 7.1.14)
(Paley-Wiener-Schwartz theorem)
For the vector space of compactly supported smooth functions (bump functions) on Euclidean space is (algebraically and topologically) isomorphic, via the Fourier-Laplace transform (prop. ), to the space of entire functions on which satisfy the following estimate: there is a positive real number such that for every integer there is a real number such that:
More generally, the space of compactly supported distributions on of order is isomorphic via Fourier transform of distributions to those entire functions on for which there exists positive real numbers and such that
(Notice that the Fourier transform of a compactly supported distribution is guaranteed to be a smooth function, by this prop..)
(e.g. Hoermander 90, theorem 7.3.1)
(decay of Fourier transform of compactly supported functions)
A compactly supported distribution is a non-singular distribution (def. ), hence given by a compactly supported function via , precisely if its Fourier transform (this def.) satisfies the following decay property:
For all there exists such that for all we have that the absolute value of the Fourier transform at that point is bounded by
(e.g. Hoermander 90, around (8.1.1))
(singular support of a compactly supported distribution)
For and a compactly supported distribution, its singular support is the subset of the Cartesian space of those points which have no neighbourhood on which restricts to a non-singular distribution:
By prop. the singular support of a distribution (def. ) consists of those points around which the Fourier transform of the distribution receives large high-frequency (“UV”) contributions. But in fact prop. allows to say more precisely which high frequency Fourier modes make the distribution singular at a given point. These are said to be part of the wave front of the distribution, and the collection of all of them is called the wave front set of the distribution:
For let be a compactly supported distribution.
For a compactly supported smooth function, write for the corresponding product (this example).
For , we say that a unit covector is regular if there exists a neighbourhood of in the unit sphere such that for all with and the decay estimate (3) is valid for the Fourier transform of ; at . Otherwise is non-regular. Write
for the set of non-regular covectors of .
The wave front set at is the intersection of these sets as ranges over bump functions whose support includes :
Finally the wave front set of is the subset of the sphere bundle which over consists of :
Usually this is considered as the full conical set inside the cotangent bundle generated by the unit covectors under multiplication with positive real numbers.
Hence the wave front set of a compactly supported distribution consists of all those directions of wave vectors along which the Fourier transform of the distribution is not a rapidly decreasing function.
(empty wave front set corresponds to ordinary smooth functions)
The wave front set (def. ) of a compactly supported distribution is empty precisely if the distribution is non-singular (example ).
This is effectively the Paley-Wiener-Schwartz theorem (Hörmander 90, below (8.1.1)).
(non-singular compactly supported distributions)
For , a compactly supported smooth function (a bump function) induces a compactly supported distribution
by integration of smooth functions against .
This construction defines a linear inclusion
The compactly supported distributions arising this way are called the non-singular distributions.
Textbook accounts include
Lecture notes include
Discussion of compactly supported distributions in terms morphisms out of internal homs in a smooth topos is in
and specifically for the Cahiers topos of formal smooth sets in
Anders Kock, Gonzalo Reyes, Some calculus with extensive quantities: wave equation, Theory and Applications of Categories , Vol. 11, 2003, No. 14, pp 321-336 (TAC)
Anders Kock, Commutative monads as a theory of distributions (arxiv:1108.5952)
using results of
and following the general conception of “intensive and extensive” in
Generalization to non-compactly supported distributions is in
and sheaf theoretic discussion of distributions as morphisms of smooth spaces is in
Last revised on May 6, 2024 at 11:12:14. See the history of this page for a list of all contributions to it.